body {
	padding:0;
	margin:0;
	background-color: white;

	font-family:sans-serif;
	font-size:10.5pt;
	color: #000;
}

h1{
	font-size:1.4em;
}
h2{
	margin-top:30px;
	font-size:1.2em;
	border-bottom:1px solid gray;
}
h3{
	border-left:solid 10px #666;
	padding-left:5px;
	margin-top:20px;
	font-size:1.1em;
}
h4{
	margin-top:16px;
	font-size:1.0em;
}
li{
	padding-top:2px;
	padding-bottom:2px;
}

em{
	font-weight:bold;
	font-size:1.2em;
}

div.root{
	padding:0;
	margin:5px;
}
div.noteTitle{
	padding:0;
	margin:0;
	margin-top:10px;
	margin-bottom:5px;

	font-weight:bold;
	font-size:1.1em;
}

div.title1 {
	margin-bottom:30px;

	font-family:sans-serif;
	font-weight:bold;
	font-size:1.6em;
}
div.title2{
	border-bottom:solid 1px #333;

	margin-top:20px;
	margin-bottom:5px;

	font-family:sans-serif;
	font-size:1.1em;
	font-weight:bold;
}

div.title3{
	margin-top:20px;
	margin-bottom:5px;

	font-family:sans-serif;
	font-size:1.0em;
	font-weight:bold;
}

div.title4{
	font-family:sans-serif;
	font-size:1.0em;
	font-weight:bold;
}


.underline{
	text-decoration: underline;
}

.illust{
	padding:0;
	margin:0;
	margin-top:10px;
	margin-bottom:10px;
}

blockquote{
	padding:5px;
	padding-left:10px;
	padding-right:10px;
	margin:5px;

	background-color:#CCA;
	font-size:0.9em;

	-webkit-border-radius: 10px;
	-moz-border-radius: 10px;
	border-radius: 10px;
}


pre{
	border: 1px solid silver;
	background-color: #eec;
	padding: 0.5em;

	margin:0;
	margin-top:10px;
	margin-bottom:20px;

	line-height:110%;
}

/*
.code , .codeinclude  
{
	border: 1px solid silver;
	background-color: #eec;
	padding: 0.5em;

	margin:0;
	margin-top:10px;
	margin-bottom:20px;

	line-height:110%;
}
*/
.console{
	border: none;
	color:black;
	background-color: #CC9;
	padding: 0.5em;

	margin:0;
	margin-top:10px;
	margin-bottom:20px;

	line-height:110%;
}

.bold{
	font-weight:bold;
}

a { 
	text-decoration: underline;
	color: #111166;
}
a:link {
	color: #111166;
}

a:visited {
	color: #111166;
}
a:active, a:focus a:hover {
}

li{
	padding:0;
	margin:0;
	margin-bottom:5px;
}

canvas{
	background-color: #eee;
}
input{
	border:none;
}
